Reasoning about dynamic delegation in role based access control systems

- Ruan, Chun; Varadharajan, Vijay